home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 11: TSX-11 / Linux Cubed Series 11 - TSX-11 Vol 1.iso / usr.bin / njsml.000 < prev    next >
Text File  |  1996-11-30  |  2KB  |  58 lines
  1.  
  2.              Standard ML of New Jersey
  3.     Version 0.93 for the i386/i486 running Linux, April 23, 1993
  4.  
  5.  
  6. __ WHAT
  7.     SML/NJ is a compiler for the functional programming language
  8.     Standard ML (SML). It is a fairly complete and robust
  9.     implementation of ML.
  10.  
  11. __ FILES
  12.     njsml.93.bin.z - gzip'd binary of njsml (no SourceGroup)
  13.     njsml-sg.93.bin.z - gzip'd binary of njsml with SourceGroup
  14.     njsml.93.src.tar.z - minimal sources for NJSML on Linux
  15.     njsml.93.mo.i386.z - you'll need these also to compile on Linux
  16.  
  17.     You can pick up additional tools and goodies from:
  18.  
  19.     research.att.com
  20.  
  21.     under the "ml" directory.
  22.  
  23. __ HISTORY
  24.  
  25.     This is a port of Standard ML of New Jersey (SML/NJ) to Linux. It
  26.     is based on the work of Mark Leone (mleone@cs.cmu.edu) who did
  27.     the port for i386/i486 machines. The current binary was compiled
  28.     using Linux 0.99.7a.  Shared lib 4.3.3.
  29.  
  30.     This port was based on the original port of 0.91 by Hermano Moura
  31.     (moura@dcs.glasgow.ac.uk) and Andre Santos (andre@dcs.glasgow.ac.uk).
  32.  
  33. __ RECOMMENDED ENV
  34.  
  35.     16M of ram is suggested if you wish to do anything serious with
  36.     the system.  Also, a 386-40 or better would be helpful.
  37.  
  38.  
  39. __ KNOWN BUGS AND DEFICIENCIES
  40.  
  41.     1 Some minimal precision problems exist when a 387 emulator is
  42.       used.
  43.  
  44.     2 ML functions System.Directory.listDir and System.Directory.getWD
  45.       not working at the moment.
  46.  
  47. __ WHERE
  48.  
  49.     NJ-SML 0.93 should be available at most major Linux sites.  It
  50.     should also be available in:
  51.         sbcs.sunysb.edu:/pub/linux
  52.     by the time you are reading this.
  53.  
  54.  
  55.  
  56.  
  57.  
  58.